141. Elements of the theory of computation /
پدیدآورنده : Harry R. Lewis, Christos H. Papadimitriou
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computational complexity,Formal languages,Logic, Symbolic and mathematical,Machine theory
رده :
QA267
.
L49
1998
142. Fachtagung uber Automatentheorie und Formale Sprachen
پدیدآورنده : Gesellschaft fur Informatik
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Machine theory,Congresses ، Automata,Congresses ، Formal languages
رده :
QA
267
.
G47a
143. Feasible computations and provable complexity properties
پدیدآورنده : Hartmanis, Juris
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Machine theory,، Formal languages,، Computational complexity
رده :
QA
267
.
H33
144. Formal languages and computation :
پدیدآورنده : Alexander Meduna
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Formal languages,Machine theory
رده :
QA267
.
3
.
M43
2014
145. Formal languages and their relation to automata
پدیدآورنده : / John E. Hopcroft, Jeffrey D. Ullman
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Formal languages,Machine theory
رده :
QA267
.
3
.
H6
1969
146. Formal languages and their relation to automata
پدیدآورنده : Hopcroft, John E.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Formal languages,، Machine theory
رده :
QA
267
.
3
.
H6
147. Formal languages and their relation to automata
پدیدآورنده : Hopcroft, John E
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Formal languages,، Machine theory
رده :
QA
267
.
3
.
H6
148. Formal languages and their relation to automata
پدیدآورنده : Hopcroft, John E.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Formal languages,، Machine theory
رده :
QA
267
.
3
.
H6
149. Formal languages and their relation to automata
پدیدآورنده : Hopcroft, John E.
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Formal languages , Machine theory
رده :
QA
267
.
3
.
H6
150. Groups, Languages, and geometry : 1998 AMS-IMS-SIAM Joint Summer Research Conference on Geometric Group Theory and Computer Science, July 5-9, 1998, Mount Holyoke College
پدیدآورنده : Robert H. Gilman, editor
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Geometric group theory,Congresses ، Machine theory,Congresses ، Formal languages
رده :
QA
183
.
A5
1998
151. Groups, languages, and automata
پدیدآورنده : Holt, Derek F.
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Group theory,، Formal languages,، Machine theory
رده :
QA
174
.
2
.
H64G7
152. Groups, languages, and geometry: 1998 AMS-IMS-SIAM Joint Summer Research Conference on Geometric Group Theory and Computer Science, July 5-9, 1998, Mount Holyoke College
پدیدآورنده : Robert H. Gilman, editor
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Geometric group theory,Congresses ، Machine theory,Congresses ، Formal languages
رده :
QA
183
.
A47
1998
153. Groups, languages, and geometry : 1998 AMS-IMS-SIAM Joint Summer Research Conference on Geometric Group Theory and Computer Science, July 5-9, 1998, Mount Holyoke College
پدیدآورنده : Robert H. Gilman, editor
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Geometric group theory,، Machine theory,، Formal languages
رده :
QA
183
.
A47
1998
154. Groups, languages, and geometry: 1998 AMS-IMS-SIAM Joint Summer Research Conference on Geometric Group Theory and Computer Science, July 5-9, 1998, Mount Holyoke College
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Geometric group theory,Congresses ، Machine theory,Congresses ، Formal languages
رده :
QA
183
.
A47
1998
155. Groups,languages,and geometry:1998 AMS-IMS-SIAM joint summer research conference on geometric group theory and coputer science,
پدیدآورنده : / Robert H.Gilman,editor
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Geometric group theory-Congresses.,Machine theory-Congresses.,Formal languages-Congress
رده :
QA183
.
S47
1998
156. Initation mathematique aux grammaires formelles
پدیدآورنده : Hughes, Michel
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Formal languages,Machine theory
رده :
QA
267
.
3
.
H8
157. Initiation mathematique aux grammaires formelles
پدیدآورنده : / par Michel Hughes
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Formal languages,Machine theory
رده :
001
.
53
Hu-I
158. Initiation mathematique aux grammires formelles
پدیدآورنده : Hughes,Michel
کتابخانه: Central Library and Documents Center of Al-Zahra University (Tehran)
موضوع : ، Formal languages,، Machine theory
رده :
QA
267
.
3
.
H8
159. Initiationmathematique aux grammaires formelles
پدیدآورنده : Huges
کتابخانه: Central Library and Documents Center of Tehran University (Tehran)
موضوع : Formal languages,Machine theory
رده :
QA
267
.
3
.
H8
160. Introduction to autmata theory languages and computation
پدیدآورنده : Hopcroft, John E.
کتابخانه: (Semnan)
موضوع : ، Machine theory,، Formal languages,، Computational complexity
رده :
QA
267
.
H66
